Logical and probability analysis of systems.
نویسندگان
چکیده
منابع مشابه
analysis of ruin probability for insurance companies using markov chain
در این پایان نامه نشان داده ایم که چگونه می توان مدل ریسک بیمه ای اسپیرر اندرسون را به کمک زنجیره های مارکوف تعریف کرد. سپس به کمک روش های آنالیز ماتریسی احتمال برشکستگی ، میزان مازاد در هنگام برشکستگی و میزان کسری بودجه در زمان وقوع برشکستگی را محاسبه کرده ایم. هدف ما در این پایان نامه بسیار محاسباتی و کاربردی تر از روش های است که در گذشته برای محاسبه این احتمال ارائه شده است. در ابتدا ما نشا...
15 صفحه اولProbability Logic and Logical Probability
Many writers who entertain the use of subjective probability or credal probability for, among other things, the evaluation of expected values of options in decision problems insist that such credal probability judgments should be determined by the agent’s “available evidence” or “available knowledge”. Notable 20 century examples are H. Jeffreys (1921, 1951), J.M. Keynes (1921), R. Carnap (1950,...
متن کاملProbability of Implication , Logical
| Logical inference starts with concluding that if B implies A, and B is true, then A is true as well. To describe probabilistic inference rules, we must therefore deene the probability of an implication \A if B". There exist two diierent approaches to deening this probability, and these approaches lead to diierent probabilistic inference rules: We may interpret the probability of an implicatio...
متن کاملlangauge needs analysis of undergraduate business management and economics students
the aim of conducting this study was to investigate the foreign language learning needs of undergraduate economics students and business management students in faculties of social sciences of alzahra and azad naragh university. in the study, which was designed on the basis of a qualitative-quantitative basis using interviews and questionnaires, 146 female undergraduate business management as we...
15 صفحه اولa phonological contrastive analysis of kurdish and english
deposite the different criticisms on contrastive analysis it has been proved that the results of it(when processed)can be usuful in a tefl environment,specially at the level of phonology.this study is an attempt to compare and contrast the sound systems of kurdish and english for pedagogical aims. the consonants,vowels,stress and intonation of the twolanguages are described by the same model-ta...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1978
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093888214